Seipel, Dietmar: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Domain–Specific Languages in Prolog for Declarative Expert Knowledge in Rules and Ontologies

Seipel, Dietmar, Nogatz, Falco, Abreu, Salvador

Journal:

Computer Languages, Systems & Structures

Year:

2017

Language:

english

File:

PDF, 1.45 MB

english, 2017

2

[Lecture Notes in Computer Science] Declarative Programming and Knowledge Management Volume 12057 (Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9â12, 2019, Revised Selected Papers) ||

Hofstedt, Petra, Abreu, Salvador, John, Ulrich, Kuchen, Herbert, Seipel, Dietmar

Year:

2020

File:

PDF, 15.94 MB

2020

3

[ACM Press the 13th international World Wide Web conference - New York, NY, USA (2004.05.19-2004.05.21)] Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters - WWW Alt. '04 - Matching web site structure and content

Gedov, Vassil, Stolz, Carsten, Neuneier, Ralph, Skubacz, Michal, Seipel, Dietmar

Year:

2004

Language:

english

File:

PDF, 113 KB

english, 2004

4

[ACM Press the 20th International Symposium - Frankfurt am Main, Germany (2018.09.03-2018.09.05)] Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 - Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters

Nogatz, Falco, Kalkus, Jona, Seipel, Dietmar

Year:

2018

Language:

english

File:

PDF, 761 KB

english, 2018

5

[IEEE 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services - Arlington, VA, USA (2008.07.21-2008.07.24)] 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services - Tracking Topic Evolution in News Environments

Viermetz, Maximilian, Skubacz, Michal, Ziegler, Cai-Nicolas, Seipel, Dietmar

Year:

2008

Language:

english

File:

PDF, 840 KB

english, 2008

6

Anomalies in Ontologies with Rules

Baumeister, Joachim, Seipel, Dietmar

Journal:

SSRN Electronic Journal

Year:

2010

Language:

english

File:

PDF, 549 KB

english, 2010

7

[ACM Press the 3rd international conference - Banff, Alberta, Canada (2005.10.02-2005.10.05)] Proceedings of the 3rd international conference on Knowledge capture - K-CAP '05 - User-centered consultation by a society of agents

Buscher, Georg, Baumeister, Joachim, Puppe, Frank, Seipel, Dietmar

Year:

2005

Language:

english

File:

PDF, 305 KB

english, 2005

8

[Lecture Notes in Computer Science] Foundations of Information and Knowledge Systems Volume 2942 || Equivalence of OLAP Dimension Schemas

Seipel, Dietmar, Turull-Torres, José María

Year:

2004

Language:

english

File:

PDF, 260 KB

english, 2004

9

[American Institute of Aeronautics and Astronautics 15th International Conference on Space Operations - Marseille, France ()] 15th International Conference on Space Operations - Next Level Autonomous Nanosatellite Operations

Kayal, Hakan, Balagurin, Oleksii, Djebko, Kirill, Fellinger, Gerhard, Puppe, Frank, Seipel, Dietmar, Serdar, Saliha, Schneider, Alexander, Schwarz, Tobias, Wojtkowiak, Harald

Language:

english

File:

PDF, 3.54 MB

english

10

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 165 KB

english, 2005

11

[Lecture Notes in Computer Science] Declarative Programming for Knowledge Management Volume 4369 || Constraint Solving for Sequences in Software Validation and Verification

Umeda, Masanobu, Wolf, Armin, Bartenstein, Oskar, Geske, Ulrich, Seipel, Dietmar, Takata, Osamu

Year:

2006

Language:

english

File:

PDF, 417 KB

english, 2006

12

Using clausal deductive databases for defining semantics in disjunctive deductive databases

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 253 KB

english, 2001

13

[Lecture Notes in Computer Science] Declarative Programming for Knowledge Management Volume 4369 ||

Umeda, Masanobu, Wolf, Armin, Bartenstein, Oskar, Geske, Ulrich, Seipel, Dietmar, Takata, Osamu

Year:

2006

Language:

english

File:

PDF, 4.09 MB

english, 2006

14

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Declaratively Querying and Visualizing Knowledge Bases in Xml

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

15

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || SQL Based Frequent Pattern Mining with FP-Growth

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 191 KB

english, 2005

16

Anomalies in ontologies with rules

Joachim Baumeister, Dietmar Seipel

Journal:

Web Semantics: Science, Services and Agents on the World Wide Web

Year:

2010

Language:

english

File:

PDF, 572 KB

english, 2010

17

[Lecture Notes in Computer Science] Declarative Programming for Knowledge Management Volume 4369 || Using a Logic Programming Language with Persistence and Contexts

Umeda, Masanobu, Wolf, Armin, Bartenstein, Oskar, Geske, Ulrich, Seipel, Dietmar, Takata, Osamu

Year:

2006

Language:

english

File:

PDF, 148 KB

english, 2006

18

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 160 KB

english, 2005

19

INCREMENTAL DEVELOPMENT OF DIAGNOSTIC SET-COVERING MODELS WITH THERAPY EFFECTS

BAUMEISTER, JOACHIM, SEIPEL, DIETMAR, PUPPE, FRANK

Journal:

International Journal of Uncertainty Fuzziness and Knowledge-Based Systems

Year:

2003

Language:

english

File:

PDF, 1.25 MB

english, 2003

20

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || An Evaluation of a Rule-Based Language for Classification Queries

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 388 KB

english, 2005

21

[Lecture Notes in Computer Science] Declarative Programming for Knowledge Management Volume 4369 || Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming

Umeda, Masanobu, Wolf, Armin, Bartenstein, Oskar, Geske, Ulrich, Seipel, Dietmar, Takata, Osamu

Year:

2006

Language:

english

File:

PDF, 124 KB

english, 2006

22

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Deductive and Inductive Reasoning on Spatio-Temporal Data

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 198 KB

english, 2005

23

Model generation and state generation for disjunctive logic programs

Dietmar Seipel, Jack Minker, Carolina Ruiz

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.07 MB

english, 1997

24

Unfolding partiality and disjunctions in stable model semantics

Janhunen, Tomi, Niemelä, Ilkka, Seipel, Dietmar, Simons, Patrik, You, Jia-Huai

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 493 KB

english, 2006

25

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Mining Semantic Structures in Movies

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 233 KB

english, 2005

26

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Solving Alternating Boolean Equation Systems in Answer Set Programming

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 203 KB

english, 2005

27

Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004)

Seipel, Dietmar, Turull-Torres, J. M.

Journal:

Bulletin of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 29 KB

english, 2004

28

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 142 KB

english, 2005

29

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Web Services Based on Prolog and Xml

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 234 KB

english, 2005

30

Anfragesprachen für das Semantic Web

Joachim Baumeister, Dietmar Seipel

Journal:

Informatik-Spektrum

Year:

2005

Language:

german

File:

PDF, 112 KB

german, 2005

31

[Lecture Notes in Computer Science] Foundations of Information and Knowledge Systems Volume 2942 || Abstract State Machines: An Overview of the Project

Seipel, Dietmar, Turull-Torres, José María

Year:

2004

Language:

english

File:

PDF, 112 KB

english, 2004

32

Deduktive Datenbanken

François Bry, Dietmar Seipel

Journal:

Informatik-Spektrum

Year:

1996

Language:

german

File:

PDF, 122 KB

german, 1996

33

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Distributed Constraint-Based Railway Simulation

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 146 KB

english, 2005

34

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 5437 || Constraint-Based Timetabling System for the German University in Cairo

Seipel, Dietmar, Hanus, Michael, Wolf, Armin

Year:

2009

Language:

english

File:

PDF, 221 KB

english, 2009

35

[Lecture Notes in Computer Science] Declarative Programming for Knowledge Management Volume 4369 || Railway Scheduling with Declarative Constraint Programming

Umeda, Masanobu, Wolf, Armin, Bartenstein, Oskar, Geske, Ulrich, Seipel, Dietmar, Takata, Osamu

Year:

2006

Language:

english

File:

PDF, 963 KB

english, 2006

36

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Towards Ubiquitous Maintenance – Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 149 KB

english, 2005

37

[Lecture Notes in Computer Science] Declarative Programming for Knowledge Management Volume 4369 || A Knowledge-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder Method

Umeda, Masanobu, Wolf, Armin, Bartenstein, Oskar, Geske, Ulrich, Seipel, Dietmar, Takata, Osamu

Year:

2006

Language:

english

File:

PDF, 645 KB

english, 2006

38

[ACM Press the fifth ACM SIGACT-SIGMOD symposium - Cambridge, Massachusetts, United States (1986.03.24-1986.03.26)] Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '86 - Alpha-acyclic decompositions of relational database schemes

Ruland, Detlev, Seipel, Dietmar

Year:

1986

Language:

english

File:

PDF, 912 KB

english, 1986

39

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Effective Modeling with Constraints

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 224 KB

english, 2005

40

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Integrating Time Constraints into Constraint-Based Configuration Models

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 199 KB

english, 2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски